System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
981	Chapter 3 Towards a Self-reflective, Context-aware Semantic Representation of Mathematical Specifications Peter Schodl and Arnold Neumaier and Kevin Kofler and Ferenc Domes and Hermann Schichl Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2011-05-11 10:42:47 Data types Programming paradigms Semantics Knowledge representation Semantic Web Semantic memory Knowledge representation and reasoning Type system Object Computing Software engineering Computer programming
982	Information at all.nethttp://all.net/ Add to Reading List Source URL: all.net Language: English - Date: 2013-07-10 14:08:57 Computer network security Programming language implementation Virtualization Computer security Hardware virtualization Multiple single-level System software Software Virtual machines
983	Solving Multi-agent Markov Decision Processes: A Forest Management Example Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 17:48:25 Mathematical sciences Markov models Dynamic programming Stochastic control Operations research Reinforcement learning Q-learning Markov decision process Multi-agent system Statistics Markov processes Control theory
984	Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2007-06-24 16:58:38 Data types Computer programming Object-oriented programming Functional programming Polymorphism Type system Variable Type class C Software engineering Computing Type theory
985	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.ism.ac.jp Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
986	./doc/langRef.xotcl Package/File Information No package provided/required Defined Objects/Classes: ⋅ ::xotcl::Slot: Add to Reading List Source URL: media.wu-wien.ac.at Language: English - Date: 2014-04-29 15:11:13 Object-oriented programming XOTcl Metaclass Common Lisp Object System OTcl Mixin Class Self Method Software engineering Computer programming Computing
987	Microsoft PowerPoint - UPC-Perf-Model.ppt Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:30 Data management Barcodes Identifiers Supply chain management Universal Product Code Vectorization Type system Parallel computing Partition Compiler optimizations Programming language theory Computing
988	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
989	A File System Design for the Aeolus Security Platform by Francis Peter McKee S.B., C.S. M.I.T., 2011 Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2012-03-20 16:20:12 Computer programming Barbara Jane Liskov Crime prevention National security Cross-platform software Computer File system C Computing Software engineering Women in technology
990	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: mirrors.psu.ac.th Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing

UPDATE